World of Books - Find your book here
OOPSLA ECOOP '90 proceedings: Conference on object-oriented ...
ACM Special Interest Group on Programming Languages[Lea89] Gary Todd Leavens. Verifying object- oriented programs that use subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989. The author's Ph.D. thesis. [ Lea90] Gary T.
Foundations of Object-oriented Languages: Types and Semantics
Kim B. Bruce[Aba94] Martin Abadi. Baby Modula-3 and a theory of objects. Journal of Functional Programming, 4:249-283, 1994. [AC93] Roberto Amadio and Luca Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and ...
SIGMAP Newsletter
Association for Computing Machinery. Special Interest Group on Mathematical ProgrammingTypes and Programming Languages
Benjamin C. PierceA comprehensive introduction to type systems and programming languages.
CIKM 2004: proceedings of the Thirteenth ACM Conference on ...
Association for Computing Machinery. Special Interest Group on Information Retrieval... Clairvoyance Corporation, USA Makoto Sano, Justsystem Corporation, Japan Jimi Shanahan, Clairvoyance Corporation, USA Victor Sheftel, Clairvoyance Corporation, USA ABSTRACT The proliferation of XML as a standard for data xiv.
Objects for Concurrent Constraint Programming
Martin HenzAkinori Yonezawa, Jean-Pierre Briot, and Etsuya Shibayama. Object-oriented concurrent programming in ABCL/1. In Norman Meyrowitz, editor, Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications, pages 258–268, Portland, Oregon, 1986. ACM SIGPLAN Notices 21(11). Akinori Yonezawa, editor. ABCL: An Object-Oriented Concurrent System. Series in Computer Systems. The MIT Press, Cambridge, MA, 1990. Yasuhiko Yokote and ...
Programming Languages and Systems: 10th European Symposium ...
PreviewIn 28th Symposium on Principles of Programming Languages (POPL '01). Association for Computer Machinery, 2001. To appear. Carroll Morgan, Annabelle McIver, Karen Seidel, and J. W. Sanders. Probabilistic predicate transformers.
Government Reports Announcements
More editionsTechnical summary rept., David Stephen Wise. Jan 72, 142p Rept no. MRC- TSR -1174 Contract DA-3 1 -1 24-ARO (D)-462 Descriptors: ('Programming languages , Grammars), ('Computational linguistics. Programming languages), Algorithms.
The Interest Group Society
Jeffrey M BerryConsidered the gold standard on interest group politics, this widely-used text analyzes interest groups within the intuitive framework of democratic theory, enabling readers to understand the workings of interest groups within the larger ...
Mathematical Foundations of Computer Science 1995: 20th ...
Juraj WiedermannMartin Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73-132, January 1993. 2. Martin Abadi and Leslie Lamport. Conjoining specifications. Research Report 118 ...
Automata, Languages and Programming: 38th International ...
PreviewLuca Aceto Monika Henzinger Jirí Sgall (Eds.) Automata, Languages and Programming 38th International Colloquium, ICALP 2011 Zurich, Switzerland, July 4-8, 2011 Proceedings, Part I 1 3 Volume Editors Luca Aceto Reykjavik University, ...
Practical Foundations for Programming Languages
Robert HarperThis book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Embedded Systems Handbook
Preview[2] Gérard Berry. Real-time programming: general-purpose or special-purpose languages. In Information Processing 89, G. Ritter, Ed. Elsevier Science Publishers B.V. (North Holland), Amsterdam, 1989, pp. 11–17. [3] Albert Benveniste and ...
SIGSPAC Bulletin
Association for Computing Machinery. Special Interest Group on Urban Data Systems, Planning, Architecture and Civil EngineeringECOOP '95 - Object-Oriented Programming: 9th European ...
PreviewJeff McAffer. Meta-level architecture support for distributed objects. In preparation . 10. Jeff McAffer and John Duimovich. Actra - An industrial strength concurrent object-oriented programming system. ACM SIGPLAN OOPS Messenger, 2(2):82– ...
The Population Ecology of Interest Representation: Lobbying ...
Virginia GrayBy examining how populations of interest groups are comprised, this work fills an important gap between existing theories of the origins of individual interest groups and studies of interest group influence.
Python Web Programming
Steve HoldenIt shows how to leverage the powerful Python libraries to build systems with less programming effort and easier maintenance. This book is primarily intended for experienced programmers who have used other languages (such as Perl, C or C++).
Programming Languages with Applications to Biology and ...
PreviewEssays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami. Chiara Bodei• Gian-Luigi Ferrari Corrado Priami (Eds.) Programming Languages with Applications to Biology and ...
Oracle User Productivity Kit 3.5
Dirk ManuelMexican Spanish (esmx) / Supported languages Finnish (fi) /Supported languages French (fr) / Supported languages ... (pt)/ Supported languages Russian (ru)/ Supported languages Swedish (sv)/ Supported languages Turkish ( tr) /Supported ...
Principles of Concurrent and Distributed Programming
M. Ben-AriFinal Cover Copy Ben-Ari Principles of Concurrent and Distributed Programming 2nd Edition M. Ben-Ari The latest edition of a classic text from a winner of the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education.
Programming Languages: Implementations, Logics, and ...
Preview... UK, September 3-5, 1997. Proceedings Hugh Glaser, Peter Hartel, Herbert Kuchen. Functional Programming and Geometry Guy Cousineau Laboratoire d' lnformatique, Ecole Nornale Superieure 45 rue d'Ulm, 75251 PARIS CEDEX 05 Guy.
SIGnews
American Society for Information Science. Special Interest Group on Technology, Information, and SocietyExtension mechanisms for high-level programming languages
Bertil Sten Gustav BeanderEXTENSION MECHANISMS FOR HIGH-LEVEL PROGRAMMING LANGUAGES Bertil Sten Gustav Beander Under the supervision of Associate Professor Tad Brian Pinkerton ABSTRACT Several extension mechanisms suitable for high- level ...
Embedded Systems Handbook, Second Edition: Embedded Systems ...
PreviewGérard Berry. Real-time programming: General-purpose or special-purpose languages. In G. Ritter, editor, Information Processing 89, pp. 11–17. Elsevier Science Publishers B.V., North Holland, 1989. Gérard Berry. Esterel on hardware .
Shoot to Sell: Make Money Producing Special Interest Videos
Rick SmithProducing and Distributing Special Interest Videos is a step-by-step, do-it-yourself guide for successfully producing, selling and marketing videos without a huge financial investment for anyone who has an idea or expertise that they want ...
Algorithms, Probability, Networks, and Games: Scientific ...
PreviewIn: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 1–12. ACM (1987) Dutta, C., Pandurangan, G., Rajaraman, R., Sun, Z., Viola, E.: On the complexity of information spreading in dynamic ...
who called from an unknown number?